Skip to content

fix: update references to renamed repositories#204

Open
Keinberger wants to merge 1 commit intomainfrom
kbg/fix/update-renamed-repo-references
Open

fix: update references to renamed repositories#204
Keinberger wants to merge 1 commit intomainfrom
kbg/fix/update-renamed-repo-references

Conversation

@Keinberger
Copy link
Collaborator

Summary

  • Update deploy-docs.yml and cut-versions.yml repo URLs, vendor paths, and aggregation targets
  • Rename release manifest keys (miden-baseprotocol, miden-nodenode, miden-tutorialstutorials)
  • Update docusaurus.config.ts project name and add redirects for old /core-concepts/miden-base/ and /core-concepts/miden-node/ paths
  • Fix internal doc links from /core-concepts/miden-base/ to /core-concepts/protocol/
  • v0.11–v0.13 versioned docs left untouched (historical snapshots)

Closes #201

Test plan

  • npm run build passes locally with aggregated vendor content
  • act run of deploy-docs.yml — all workflow steps pass (checkout, aggregation, deps)
  • act run of cut-versions.yml — all workflow steps pass through aggregation
  • Release manifest parses correctly with new keys
  • Redirect HTML generated for old paths

Update CI workflows, release manifest, docusaurus config, and docs
to use new repo names (miden-base→protocol, miden-node→node,
miden-tutorials→tutorials, miden-docs→docs). Add URL redirects
for old core-concepts paths.

Versioned docs left untouched (frozen snapshots).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix: update references to renamed repositories

1 participant